$\forall$${\it dec}$:(Knd$\rightarrow$Type). Action(${\it dec}$) $\in$ Type